This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lee masThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lee masThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lee masThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee masThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Lee masThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lee masThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee masThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee masThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee masThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Lee mas